Linear Additives
نویسندگان
چکیده
We introduce LAM, a subsystem of IMALL2 with restricted additive rules able to manage duplication linearly, called linear rules. LAM is presented as the type assignment system for calculus endowed copy constructors, which deal substitution in fashion. As opposed standard rules, do not affect complexity term reduction: typable terms enjoy strong normalization. Moreover, mildly weakened version cut-elimination this proven takes cubic number steps. Finally, we define sound translation from proofs into lambda IMLL2, and study its complexity.
منابع مشابه
Feed additives.
Feed additives used to supplement dairy rations can increase daily feed cost from 2 to 65 per animal. The economic response (benefit to cost ratio) varies from $2.00 to $12.00 for each dollar invested in a specific additive. Knowledgeable dairy veterinarians must understand the role of each additive, when it will be beneficial, inclusion level, strategies and limitations associated with an addi...
متن کاملAdditives of linear logic and normalization - Part I: a (restricted) Church-Rosser property
We deene a generalized cut-elimination procedure for proof-nets of full linear logic (without constants), for which we prove a (restricted) Church-Rosser property.
متن کاملPermutative Additives and Exponentials
Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permutative sequents are structured as oriented surfaces with boundary whose topological complexity is able to encode some information about the exchange in sequential proofs. In this paper we provide a complete permutative sequent ...
متن کاملAdditives in plastics.
The polymers used in plastics are generally harmless. However, they are rarely used in pure form. In almost all commercial plastics, they are "compounded" with monomeric ingredients to improve their processing and end-use performance. In order of total volume used, these monomeric additives may be classified as follows: reinforcing fibers, fillers, and coupling agents; plasticizers; colorants; ...
متن کاملFood preservatives and additives
To maintain consistency or texture ? to sustain smoothness or prevent the food from separating, caking, or clumping. To improve or retain nutritional value: Enrichment replaces nutrients lost in processing ? this occurs with grains, as some vitamins and minerals are lost in the milling process. Fortification adds a nutrient that wasn't there before and may be lacking in many people's diets. Iod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2021
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.353.4